Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
511	PDF Document Add to Reading List Source URL: www.let.uu.nl Language: English - Date: 2009-03-16 13:46:32 Proof theory Grammar Logical connectives Categorial grammar Combinatory categorial grammar Natural deduction Linear logic Modus ponens Curry–Howard correspondence Logic Mathematical logic Linguistics
512	PDF Document Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2012-02-02 15:56:23 Logic Type theory Combinatory logic Intuitionistic type theory Robert Lee Constable FO Theoretical computer science Mathematical logic Logic in computer science
513	PDF Document Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2011-01-04 13:30:41 Exponentiation Combinatory logic Integer sequences Binomial coefficient Mathematics Abstract algebra Exponentials
514	PDF Document Add to Reading List Source URL: www.inf.fu-berlin.de Language: English - Date: 2003-11-17 07:42:52 Functions and mappings Computability theory Lambda calculus Models of computation Formal methods Combinatory logic Free variables and bound variables Function Calculus Mathematics Theoretical computer science Mathematical logic
515	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-06-26 16:40:00 Mathematical logic Combinatory logic Church encoding SKI combinator calculus Function Calculus Currying Fixed-point combinator Lambda calculus Theoretical computer science Mathematics
516	PDF Document Add to Reading List Source URL: www.dcm-workshop.org.uk Language: English - Date: 2013-08-08 16:16:05 Applied mathematics Lambda calculus Probability space Lebesgue measure Probability axioms Event Spectral theory of ordinary differential equations Combinatory logic Probability theory Mathematical analysis Mathematics
517	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-09-04 16:36:13 Predicate logic Computability theory Formal methods Models of computation Combinatory logic Free variables and bound variables Function Variable First-order logic Mathematics Mathematical logic Lambda calculus
518	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-28 05:07:34 Lambda calculus Models of computation Logic in computer science Procedural programming languages Functions and mappings Combinatory logic Monad ALGOL 68 Type system Mathematics Software engineering Theoretical computer science
519	PDF Document Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2003-09-29 12:38:13 Lambda calculus Recursion Computability theory Theoretical computer science Subroutines Joy Fixed-point combinator Combinatory logic Forth Software engineering Computer programming Computing
520	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-02-23 19:27:20 Lambda calculus Theory of computation Computability theory Recursion Combinatory logic Fixed-point combinator Recursively enumerable set Computability Fixed point Theoretical computer science Computer science Applied mathematics